On the Properties of the Möbius Function
نویسندگان
چکیده
: 1, if n = 1, 0, if p|n for some prime p, (−1), if n = p1p2 · · · pr, where pi are distinct primes. as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function. The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors. The formalization (which is very much like the one developed in Isabelle proof assistant connected with Avigad’s formal proof of Prime Number Theorem) was done according to the book [13].
منابع مشابه
Möbius Iterated Function Systems
Iterated function systems have been most extensively studied when the functions are affine transformations of Euclidean space and, more recently, projective transformations on real projective space. This paper investigates iterated function systems consisting of Möbius transformations on the extended complex plane or, equivalently, on the Riemann sphere. The main result is a characterization, i...
متن کاملProperties of eigenvalue function
For the eigenvalue function on symmetric matrices, we have gathered a number of it’s properties.We show that this map has the properties of continuity, strict continuity, directional differentiability, Frechet differentiability, continuous differentiability. Eigenvalue function will be extended to a larger set of matrices and then the listed properties will prove again.
متن کاملProperties of fuzzy relations and aggregation process in decision making
In this contribution connections between input fuzzy relations R1, . . . ,Rn on a set X and the output fuzzy relationRF = F(R1, . . . ,Rn) are studied. F is a function of the form F : [0, 1]n → [0, 1] and RF is called an aggregated fuzzyrelation. In the literature the problem of preservation, by a function F, diverse types of properties of fuzzy relationsR1, . . . ,Rn is examined. Here, it is c...
متن کاملTemperature Effect on Swelling Properties of Commercial Polyacrylic Acid Hydrogel Beads
Due to the fact that many application processes take place at different temperature, better examining and understanding of swelling properties as a function of temperature is essential for such application. The temperature effect on the swelling properties of commercial polyacrylic acid (PAA) hydrogel beads was investigated as a function of time and temperature. Gel bead size, swelling equilibr...
متن کاملTemperature Effect on Swelling Properties of Commercial Polyacrylic Acid Hydrogel Beads
Due to the fact that many application processes take place at different temperature, better examining and understanding of swelling properties as a function of temperature is essential for such application. The temperature effect on the swelling properties of commercial polyacrylic acid (PAA) hydrogel beads was investigated as a function of time and temperature. Gel bead size, swelling equilibr...
متن کاملOPTICAL PROPERTIES OF THIN Cu FILMS AS A FUNCTION OF SUBSTRATE TEMPERATURE
Copper films (250 nm) deposited on glass substrates, at different substrate temperatures. Their optical properties were measured by ellipsometery (single wavelength of 589.3 nm) and spectrophotometery in the spectral range of 200–2600 nm. Kramers Kronig method was used for the analysis of the reflectivity curves of Cu films to obtain the optical constants of the films, while ellipsometery measu...
متن کامل